$\forall$$T$:Type, ${\it eq}$:($T$$\rightarrow$$T$$\rightarrow\mathbb{B}$). SqStable(IsEqFun($T$;${\it eq}$))